The Foundations of Geometry

Foundations of Differential Geometry

These notes are from a lecture course Di erentialgeometrie und Lie Gruppen which has been held at the University of Vienna during the academic year again in and in WS It is not yet complete and will be enlarged during the year In this lecture course I give complete de nitions of manifolds in the beginning but beside spheres examples are treated extensively only later when the theory is develope...

Algebraic Geometry Foundations

New Foundations for the Geometry of Interaction

Foundations of Euclidean Constructive Geometry

Euclidean geometry, as presented by Euclid, consists of straightedge-andcompass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid rathe...

Combinatorial Foundations of Stochastic Geometry